Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
51	Classical Mechanics, Lecture 19 March 13, 2008 lecture by John Baez notes by Alex Hoffnung 1 Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2008-03-14 21:10:26 Mathematical analysis Mathematics Theoretical physics Operator theory Differential geometry Functional analysis Hilbert space Tensor product of Hilbert spaces Poisson manifold Cartesian closed category Linear temporal logic
52	A Note on the Malleability of the El Gamal Cryptosystem Douglas Wikstr¨om Swedish Institute of Computer Science (SICS) Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:38:02 Mathematical analysis Mathematics Functional analysis IP Distribution Computability theory Linear temporal logic operator
53	JOURNAL OF LATEX CLASS FILES 1 Social Grouping for Multi-target Tracking and Head Pose Estimation in Video Add to Reading List Source URL: rlair.cs.ucr.edu Language: English - Date: 2016-01-04 16:44:20 Mathematics Logic Abstraction Distribution Functional analysis Interpretation Craig interpolation Limit Linear temporal logic operator
54	Summation Relations and Portions of Stuff Maureen Donnelly and Thomas Bittner (NOTE: This paper is currently being processed for publication in Philosophical Studies.) 1. Portions of stuff We have in front of us a full g Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:05:55 Predicate logic Ontology Mathematical logic Mereology First-order logic Properties of water Temporal parts
55	Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:44:40 Model theory Formal languages Mathematical logic First-order logic Predicate logic Interpretation Well-formed formula Linear temporal logic Craig interpolation
56	Declarative Verifiable SDI Specifications Rick McGeer US Ignite ABSTRACT Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:43 Theoretical computer science Formal methods Formal verification Software-defined networking Software verification Turing machine Finite-state machine Model checking Temporal logic OpenFlow Computer science Distributed computing
57	A PARTICLE DISPLACEMENT REPRESENTATION FOR CONSERVATION LAWS IN TWO-DIMENSIONAL CELLULAR AUTOMATA JARKKO KARI 1 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-12-30 16:36:57 Symbol Limit Quantum field theory Theoretical physics Operator theory Linear temporal logic Calculus of variations
58	A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:59 Modal logic Non-classical logic Philosophical logic Model theory Mathematical logic Kripke semantics Substitution Integration by substitution Normal modal logic Linear temporal logic Dirac delta function
59	Chapter 6 Infinite State Space In this chapter we begin working with stochastic systems on infinite state space. While a completely rigorous treatment of this area requires measure theory (chapter 7 and onward), we can Add to Reading List Source URL: johnstachurski.net Language: English - Date: 2016-06-19 06:01:54 Probability distributions Generalized functions Algebra Distribution Number theory Normal distribution Range Central limit theorem Logarithm Linear temporal logic
60	Wavelets and Linear Algebra Wavelets and Linear Algebra http://wala.vru.ac.ir Vali-e-Asr University of Rafsanjan Add to Reading List Source URL: wala.vru.ac.ir Language: English - Date: 2016-08-20 18:40:22 Operator theory Operator Matrix Quaternion algebra Quaternion Lie groups Linear algebra Linear temporal logic Spectral theory of ordinary differential equations